class(pos).
class(neg).


school(ucsd).
school(ucb).
school(ucla). 
school(uci). 
school(occ). 
school(smc).



armed_forces(army).
armed_forces(navy).
armed_forces(air_force).
armed_forces(marines).
armed_forces(peace_corps). % peace_corps(peace_corps).
armed_forces(fire_department).
armed_forces(foreign_legion).



student(student1000).
student(student999).
student(student998).
student(student996).
student(student994).
student(student993).
student(student992).
student(student990).
student(student989).
student(student987).
student(student985).
student(student984).
student(student983).
student(student981).
student(student977).
student(student976).
student(student975).
student(student972).
student(student970).
student(student969).
student(student968).
student(student967).
student(student963).
student(student962).
student(student959).
student(student958).
student(student956).
student(student955).
student(student953).
student(student952).
student(student950).
student(student949).
student(student948).
student(student947).
student(student946).
student(student945).
student(student943).
student(student942).
student(student940).
student(student937).
student(student936).
student(student935).
student(student932).
student(student928).
student(student927).
student(student926).
student(student924).
student(student923).
student(student920).
student(student918).
student(student916).
student(student915).
student(student913).
student(student910).
student(student909).
student(student908).
student(student906).
student(student905).
student(student904).
student(student902).
student(student901).
student(student897).
student(student896).
student(student895).
student(student894).
student(student893).
student(student891).
student(student890).
student(student888).
student(student887).
student(student885).
student(student881).
student(student879).
student(student877).
student(student874).
student(student871).
student(student870).
student(student868).
student(student867).
student(student866).
student(student864).
student(student863).
student(student859).
student(student858).
student(student856).
student(student855).
student(student854).
student(student852).
student(student850).
student(student849).
student(student847).
student(student846).
student(student842).
student(student841).
student(student840).
student(student838).
student(student836).
student(student835).
student(student832).
student(student831).
student(student830).
student(student828).
student(student827).
student(student825).
student(student823).
student(student821).
student(student820).
student(student817).
student(student814).
student(student812).
student(student809).
student(student808).
student(student807).
student(student806).
student(student805).
student(student804).
student(student803).
student(student800).
student(student798).
student(student797).
student(student795).
student(student794).
student(student792).
student(student790).
student(student789).
student(student788).
student(student787).
student(student785).
student(student783).
student(student781).
student(student780).
student(student779).
student(student778).
student(student776).
student(student775).
student(student774).
student(student773).
student(student770).
student(student769).
student(student768).
student(student765).
student(student764).
student(student762).
student(student761).
student(student760).
student(student758).
student(student757).
student(student754).
student(student753).
student(student751).
student(student750).
student(student749).
student(student748).
student(student747).
student(student746).
student(student745).
student(student744).
student(student743).
student(student742).
student(student741).
student(student740).
student(student739).
student(student738).
student(student735).
student(student734).
student(student733).
student(student732).
student(student729).
student(student727).
student(student724).
student(student723).
student(student721).
student(student719).
student(student717).
student(student714).
student(student712).
student(student710).
student(student709).
student(student705).
student(student702).
student(student701).
student(student700).
student(student699).
student(student698).
student(student697).
student(student696).
student(student690).
student(student689).
student(student688).
student(student686).
student(student684).
student(student682).
student(student680).
student(student679).
student(student678).
student(student677).
student(student676).
student(student674).
student(student673).
student(student672).
student(student670).
student(student668).
student(student667).
student(student666).
student(student665).
student(student664).
student(student663).
student(student662).
student(student661).
student(student660).
student(student659).
student(student658).
student(student656).
student(student655).
student(student652).
student(student651).
student(student650).
student(student649).
student(student647).
student(student646).
student(student645).
student(student642).
student(student641).
student(student638).
student(student635).
student(student634).
student(student632).
student(student631).
student(student629).
student(student628).
student(student627).
student(student626).
student(student625).
student(student624).
student(student621).
student(student620).
student(student619).
student(student617).
student(student616).
student(student615).
student(student614).
student(student613).
student(student612).
student(student611).
student(student610).
student(student609).
student(student608).
student(student607).
student(student606).
student(student605).
student(student603).
student(student602).
student(student601).
student(student600).
student(student599).
student(student598).
student(student596).
student(student595).
student(student594).
student(student593).
student(student592).
student(student591).
student(student590).
student(student589).
student(student588).
student(student587).
student(student585).
student(student584).
student(student583).
student(student581).
student(student580).
student(student579).
student(student578).
student(student576).
student(student575).
student(student573).
student(student572).
student(student570).
student(student569).
student(student568).
student(student567).
student(student565).
student(student562).
student(student560).
student(student559).
student(student556).
student(student555).
student(student554).
student(student553).
student(student550).
student(student547).
student(student546).
student(student544).
student(student541).
student(student539).
student(student538).
student(student536).
student(student534).
student(student533).
student(student531).
student(student530).
student(student529).
student(student527).
student(student526).
student(student523).
student(student522).
student(student519).
student(student517).
student(student515).
student(student512).
student(student511).
student(student508).
student(student505).
student(student504).
student(student503).
student(student502).
student(student500).
student(student498).
student(student497).
student(student496).
student(student495).
student(student494).
student(student493).
student(student492).
student(student491).
student(student490).
student(student488).
student(student486).
student(student485).
student(student481).
student(student480).
student(student479).
student(student477).
student(student476).
student(student475).
student(student474).
student(student473).
student(student472).
student(student470).
student(student468).
student(student467).
student(student465).
student(student459).
student(student458).
student(student452).
student(student450).
student(student448).
student(student447).
student(student446).
student(student444).
student(student443).
student(student442).
student(student441).
student(student440).
student(student439).
student(student438).
student(student436).
student(student433).
student(student432).
student(student431).
student(student430).
student(student429).
student(student428).
student(student425).
student(student423).
student(student422).
student(student421).
student(student420).
student(student417).
student(student416).
student(student415).
student(student414).
student(student412).
student(student411).
student(student410).
student(student409).
student(student407).
student(student406).
student(student405).
student(student404).
student(student403).
student(student401).
student(student400).
student(student399).
student(student397).
student(student396).
student(student395).
student(student391).
student(student389).
student(student388).
student(student386).
student(student385).
student(student384).
student(student382).
student(student380).
student(student378).
student(student377).
student(student376).
student(student373).
student(student372).
student(student371).
student(student370).
student(student369).
student(student368).
student(student367).
student(student364).
student(student361).
student(student359).
student(student354).
student(student352).
student(student351).
student(student350).
student(student349).
student(student347).
student(student346).
student(student342).
student(student340).
student(student339).
student(student338).
student(student337).
student(student336).
student(student334).
student(student333).
student(student331).
student(student330).
student(student329).
student(student328).
student(student324).
student(student323).
student(student322).
student(student318).
student(student317).
student(student316).
student(student315).
student(student314).
student(student313).
student(student309).
student(student308).
student(student306).
student(student305).
student(student304).
student(student302).
student(student301).
student(student300).
student(student297).
student(student296).
student(student295).
student(student294).
student(student293).
student(student291).
student(student288).
student(student286).
student(student285).
student(student284).
student(student283).
student(student282).
student(student281).
student(student280).
student(student279).
student(student275).
student(student274).
student(student273).
student(student272).
student(student271).
student(student270).
student(student269).
student(student267).
student(student263).
student(student262).
student(student261).
student(student260).
student(student257).
student(student255).
student(student253).
student(student250).
student(student248).
student(student247).
student(student246).
student(student244).
student(student242).
student(student241).
student(student238).
student(student237).
student(student235).
student(student234).
student(student233).
student(student232).
student(student231).
student(student229).
student(student228).
student(student227).
student(student226).
student(student225).
student(student224).
student(student222).
student(student220).
student(student219).
student(student217).
student(student216).
student(student214).
student(student213).
student(student211).
student(student210).
student(student209).
student(student208).
student(student207).
student(student204).
student(student203).
student(student199).
student(student198).
student(student197).
student(student196).
student(student195).
student(student194).
student(student193).
student(student191).
student(student189).
student(student184).
student(student183).
student(student181).
student(student179).
student(student178).
student(student175).
student(student174).
student(student173).
student(student172).
student(student171).
student(student170).
student(student169).
student(student168).
student(student167).
student(student165).
student(student164).
student(student163).
student(student162).
student(student159).
student(student158).
student(student157).
student(student156).
student(student155).
student(student154).
student(student153).
student(student152).
student(student151).
student(student150).
student(student148).
student(student147).
student(student145).
student(student143).
student(student142).
student(student140).
student(student139).
student(student138).
student(student136).
student(student135).
student(student134).
student(student133).
student(student130).
student(student129).
student(student128).
student(student127).
student(student126).
student(student125).
student(student122).
student(student121).
student(student120).
student(student119).
student(student118).
student(student117).
student(student114).
student(student112).
student(student109).
student(student108).
student(student106).
student(student105).
student(student104).
student(student102).
student(student100).
student(student99).
student(student97).
student(student96).
student(student95).
student(student94).
student(student93).
student(student92).
student(student91).
student(student90).
student(student84).
student(student83).
student(student82).
student(student81).
student(student80).
student(student79).
student(student77).
student(student75).
student(student73).
student(student72).
student(student70).
student(student69).
student(student68).
student(student66).
student(student65).
student(student64).
student(student63).
student(student62).
student(student59).
student(student57).
student(student52).
student(student51).
student(student50).
student(student49).
student(student48).
student(student46).
student(student45).
student(student43).
student(student42).
student(student41).
student(student40).
student(student39).
student(student37).
student(student33).
student(student32).
student(student31).
student(student30).
student(student28).
student(student26).
student(student24).
student(student23).
student(student22).
student(student21).
student(student19).
student(student17).
student(student15).
student(student13).
student(student12).
student(student11).
student(student9).
student(student8).
student(student7).
student(student6).
student(student4).
student(student2).
student(student1).
student(student997).
student(student995).
student(student991).
student(student988).
student(student986).
student(student982).
student(student980).
student(student979).
student(student978).
student(student974).
student(student973).
student(student971).
student(student966).
student(student965).
student(student964).
student(student961).
student(student960).
student(student957).
student(student954).
student(student951).
student(student944).
student(student941).
student(student939).
student(student938).
student(student934).
student(student933).
student(student931).
student(student930).
student(student929).
student(student925).
student(student922).
student(student921).
student(student919).
student(student917).
student(student914).
student(student912).
student(student911).
student(student907).
student(student903).
student(student900).
student(student899).
student(student898).
student(student892).
student(student889).
student(student886).
student(student884).
student(student883).
student(student882).
student(student880).
student(student878).
student(student876).
student(student875).
student(student873).
student(student872).
student(student869).
student(student865).
student(student862).
student(student861).
student(student860).
student(student857).
student(student853).
student(student851).
student(student848).
student(student845).
student(student844).
student(student843).
student(student839).
student(student837).
student(student834).
student(student833).
student(student829).
student(student826).
student(student824).
student(student822).
student(student819).
student(student818).
student(student816).
student(student815).
student(student813).
student(student811).
student(student810).
student(student802).
student(student801).
student(student799).
student(student796).
student(student793).
student(student791).
student(student786).
student(student784).
student(student782).
student(student777).
student(student772).
student(student771).
student(student767).
student(student766).
student(student763).
student(student759).
student(student756).
student(student755).
student(student752).
student(student737).
student(student736).
student(student731).
student(student730).
student(student728).
student(student726).
student(student725).
student(student722).
student(student720).
student(student718).
student(student716).
student(student715).
student(student713).
student(student711).
student(student708).
student(student707).
student(student706).
student(student704).
student(student703).
student(student695).
student(student694).
student(student693).
student(student692).
student(student691).
student(student687).
student(student685).
student(student683).
student(student681).
student(student675).
student(student671).
student(student669).
student(student657).
student(student654).
student(student653).
student(student648).
student(student644).
student(student643).
student(student640).
student(student639).
student(student637).
student(student636).
student(student633).
student(student630).
student(student623).
student(student622).
student(student618).
student(student604).
student(student597).
student(student586).
student(student582).
student(student577).
student(student574).
student(student571).
student(student566).
student(student564).
student(student563).
student(student561).
student(student558).
student(student557).
student(student552).
student(student551).
student(student549).
student(student548).
student(student545).
student(student543).
student(student542).
student(student540).
student(student537).
student(student535).
student(student532).
student(student528).
student(student525).
student(student524).
student(student521).
student(student520).
student(student518).
student(student516).
student(student514).
student(student513).
student(student510).
student(student509).
student(student507).
student(student506).
student(student501).
student(student499).
student(student489).
student(student487).
student(student484).
student(student483).
student(student482).
student(student478).
student(student471).
student(student469).
student(student466).
student(student464).
student(student463).
student(student462).
student(student461).
student(student460).
student(student457).
student(student456).
student(student455).
student(student454).
student(student453).
student(student451).
student(student449).
student(student445).
student(student437).
student(student435).
student(student434).
student(student427).
student(student426).
student(student424).
student(student419).
student(student418).
student(student413).
student(student408).
student(student402).
student(student398).
student(student394).
student(student393).
student(student392).
student(student390).
student(student387).
student(student383).
student(student381).
student(student379).
student(student375).
student(student374).
student(student366).
student(student365).
student(student363).
student(student362).
student(student360).
student(student358).
student(student357).
student(student356).
student(student355).
student(student353).
student(student348).
student(student345).
student(student344).
student(student343).
student(student341).
student(student335).
student(student332).
student(student327).
student(student326).
student(student325).
student(student321).
student(student320).
student(student319).
student(student312).
student(student311).
student(student310).
student(student307).
student(student303).
student(student299).
student(student298).
student(student292).
student(student290).
student(student289).
student(student287).
student(student278).
student(student277).
student(student276).
student(student268).
student(student266).
student(student265).
student(student264).
student(student259).
student(student258).
student(student256).
student(student254).
student(student252).
student(student251).
student(student249).
student(student245).
student(student243).
student(student240).
student(student239).
student(student236).
student(student230).
student(student223).
student(student221).
student(student218).
student(student215).
student(student212).
student(student206).
student(student205).
student(student202).
student(student201).
student(student200).
student(student192).
student(student190).
student(student188).
student(student187).
student(student186).
student(student185).
student(student182).
student(student180).
student(student177).
student(student176).
student(student166).
student(student161).
student(student160).
student(student149).
student(student146).
student(student144).
student(student141).
student(student137).
student(student132).
student(student131).
student(student124).
student(student123).
student(student116).
student(student115).
student(student113).
student(student111).
student(student110).
student(student107).
student(student103).
student(student101).
student(student98).
student(student89).
student(student88).
student(student87).
student(student86).
student(student85).
student(student78).
student(student76).
student(student74).
student(student71).
student(student67).
student(student61).
student(student60).
student(student58).
student(student56).
student(student55).
student(student54).
student(student53).
student(student47).
student(student44).
student(student38).
student(student36).
student(student35).
student(student34).
student(student29).
student(student27).
student(student25).
student(student20).
student(student18).
student(student16).
student(student14).
student(student10).
student(student5).
student(student3).

